#include <types.h>

void pos_impl_update (pos_impl* pos)
{
        __po_hi_protected_lock (pos->protected_id);
        update ( &(pos->field) );
        __po_hi_protected_unlock (pos->protected_id);
}

void pos_impl_read (pos_impl* pos)
{
        __po_hi_protected_lock (pos->protected_id);
        read ( &(pos->field) );
        __po_hi_protected_unlock (pos->protected_id);
}
